<?php
// Stub file for compatibility with older versions of MediaWiki
include_once './index.php';
